54cfafaa0913b08de2303c082cd1c39bc4903ea7,core/typesystemEngine/source/jetbrains/mps/newTypesystem/state/Inequalities.java,Inequalities,getInequalityGroups,#Set#,188
Before Change
InequalityBlock inequality = (InequalityBlock) block;
inequality.expand(myState);
List<SNode> variables = TypesUtil.getVariables(inequality.getRightNode());
variables.addAll(TypesUtil.getVariables(inequality.getLeftNode()));
if (variables.size() == 0) {
continue;
}
After Change
InequalityBlock inequality = (InequalityBlock) block;
List<SNode> variables = TypesUtil.getVariables(myState.expand(inequality.getRightNode()));
variables.addAll(TypesUtil.getVariables(myState.expand(inequality.getLeftNode())));
if (variables.size() == 0) {
continue;
}